ma{-}in{-}interface(${\it es}$;$X$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$loc($e$) $\in$ dom($X$) $\wedge_{b}$ kind($e$) $\in$ dom($X$(loc($e$)).2)